Fighting the Ninja

The Ninja

We present the design and implementation of the \Ninja Jukebox", an infrastructural service that allows a community of users to build a distributed, collaborative music repository that delivers digital music to Internet clients, and that performs simple collaborative ltering based on users' song preferences inferred by the service. The Jukebox, implemented in Java, was designed to allow rapid s...

Secret Ninja Formal Methods

The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric for use in undergraduate classes. This paper describes a method, used successfully at several universities, that combines ninja stealth with the latest advances in formal methods tools and technologies to integrate ap...

The Ninja: An Invented Tradition?

The Ninja Jukebox 2 Design Philosophy

We present the design and implementation of the \Ninja Jukebox", an infrastructural service that allows a community of users to build a distributed, collaborative music repository that delivers digital music to Internet clients, and that performs simple collaborative ltering based on users' song preferences inferred by the service. The Jukebox, implemented in Java, was designed to allow rapid s...

The Ninja architecture for robust Internet-scale systems and services

The Ninja project seeks to enable the broad innovation of robust, scalable, distributed Internet services, and to permit the emerging class of extremely heterogeneous devices to seamlessly access these services. Our architecture consists of four basic elements: bases, which are powerful workstation cluster environments with a software platform that simpli®es scalable service construction; units...